Wei Wei

Results: 2787



#Item
541

Memory Usage Verification for OO Programs⋆ Wei-Ngan Chin1,2 , Huu Hai Nguyen1, Shengchao Qin3 , and Martin Rinard4 1 Computer Science Programme, Singapore-MIT Alliance Department of Computer Science, National Universit

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2005-08-22 05:25:51
    542

    Solution Space of Quantum 2-SAT Xie Chen(MIT) Joint work with: Jianxin Chen(UoG,IQC), Runyao Duan(QCIS), Zhengfeng Ji(PI), Zhaohui Wei(CQT), and Bei Zeng(UoG,IQC) arXiv:, arXiv:

    Add to Reading List

    Source URL: qip2011.quantumlah.org

    Language: English - Date: 2011-01-11 05:14:56
      543

      Dataflow and Type-based Formulations for Reference Immutability Ana Milanova Wei Huang

      Add to Reading List

      Source URL: www.cs.uwm.edu

      Language: English - Date: 2012-10-01 23:53:52
        544

        Field and long-term demonstration of a wide area quantum key distribution network Shuang Wang, Wei Chen, Zhen-Qiang Yin, Li-Jun Zhang, Guang-Can Guo, and Zheng-Fu Han 1

        Add to Reading List

        Source URL: 2015.qcrypt.net

        Language: English - Date: 2015-09-22 01:46:07
          545Cloud infrastructure / VM / Hypervisor / File system / Cloud computing

          jinpeng.ccsw09_talk_wei_VM_Image_security [Compatibility Mode]

          Add to Reading List

          Source URL: digitalpiglet.org

          Language: English - Date: 2009-11-27 08:58:11
          546Moon / Lunar calendar / March equinox / Month / Time / Astronomy / Astrometry / Chinese calendar

          Gregorian-Lunar Calendar Conversion Table ofXin-wei – year of the Goat) Gregorian date Solar terms

          Add to Reading List

          Source URL: www.hko.gov.hk

          Language: English - Date: 2009-04-13 04:17:43
          547Network theory / Mathematics / Graph theory / Discrete mathematics / Network analysis / Networks / Social networks / Centrality / Betweenness centrality / Social network analysis / Closeness centrality / Shortest path problem

          2014 ASE BIGDATA/SOCIALCOM/CYBERSECURITY Conference, Stanford University, May 27-31, 2014 Real Time Closeness and Betweenness Centrality Calculations on Streaming Network Data Wei Wei

          Add to Reading List

          Source URL: www.casos.cs.cmu.edu

          Language: English
          548Solar System / Moon / Lunar calendar / March equinox / Month / Astronomy / Spring / Time / Chinese calendar

          Gregorian-Lunar Calendar Conversion Table ofXin-wei – year of the Goat) Gregorian date Solar terms

          Add to Reading List

          Source URL: www.weather.gov.hk

          Language: English - Date: 2009-04-13 04:17:43
          549

          Accelerating NTRU based Homomorphic Encryption using GPUs Wei Dai Yarkın Dor¨oz

          Add to Reading List

          Source URL: ecewp.ece.wpi.edu

          Language: English - Date: 2014-07-14 17:50:53
            550

            Improving Pseudo-Relevance Feedback in Web Information Retrieval Using Web Page Segmentation Shipeng Yu1* Deng Cai2* Ji-Rong Wen* and Wei-Ying Ma* * Microsoft Research Asia

            Add to Reading List

            Source URL: www.dbs.informatik.uni-muenchen.de

            Language: English - Date: 2004-01-20 18:24:18
              UPDATE